Cây bao trùm nhỏ nhất trên đồ thị đầy đủ ngẫu nhiên Cây bao trùm nhỏ nhất

Alan M. Frieze đã chứng minh rằng với một đồ thị đầy đủ có n đỉnh, với trọng số của các cạnh là biến độc lập, phân bố ngẫu nhiên đồng nhất với hàm phân bố F {\displaystyle F} thỏa mãn F ′ ( 0 ) > 0 {\displaystyle F'(0)>0} , thì khi n tiến tới +∞ trọng số kỳ vọng của MST tiến tới ζ ( 3 ) / F ′ ( 0 ) {\displaystyle \zeta (3)/F'(0)} , trong đó ζ {\displaystyle \zeta } là Hàm số zeta Riemann.Với giả thuyết bổ sung là phương sai hữu hạn, Alan M. Frieze cũng chứng minh tính hội tụ trong xác suất. Về sau, J. Michael Steele đã chứng minh rằng giả thuyết về phương sai có thể được bỏ đi.

Trong một công trình sau đó, Svante Janson đã chứng minh định lý giới hạn trung tâm đối với trọng số của MST.

Với trọng số ngẫu nhiên đồng nhất trong khoảng [ 0 , 1 ] {\displaystyle [0,1]} , kích thước kỳ vọng chính xác của cây bao trùm nhỏ nhất đã được tính cho các đồ thị đầy đủ nhỏ.[11]

ĐỉnhKích thước kỳ vọngKích thước kỳ vọng xấp xỉ
21 / 20.5
33 / 40.75
431 / 350.8857143
5893 / 9240.9664502
6278 / 2731.0183151
730739 / 291721.053716
8199462271 / 1848483781.0790588
9126510063932 / 1152288530251.0979027

Tài liệu tham khảo

WikiPedia: Cây bao trùm nhỏ nhất http://algo2.iti.kit.edu/dementiev/files/emst.pdf http://portal.acm.org/citation.cfm?id=545477 //www.ams.org/mathscinet-getitem?mr=0378466 http://www.ams.org/mathscinet-getitem?mr=0441784 //www.ams.org/mathscinet-getitem?mr=1172188 //www.ams.org/mathscinet-getitem?mr=1279413 //www.ams.org/mathscinet-getitem?mr=1409738 http://www.ams.org/mathscinet-getitem?mr=1438526 //www.ams.org/mathscinet-getitem?mr=1866455 //www.ams.org/mathscinet-getitem?mr=1866456